clean:
	rm -rf 00* coverage* multi.cache gcd repair* testruns.txt
